Skip to content

core: more compile time assertions and doc#48

Merged
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:const-assertions1
Apr 8, 2026
Merged

core: more compile time assertions and doc#48
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:const-assertions1

Conversation

@tcoratger
Copy link
Copy Markdown
Contributor

@b-wagn I've checked with Claude, with the 2 papers as context, and it seems couple of const time assertions could be added with documentation to justify them.

I've checked all of them and they look legit, let me know what you think. They are free since done at compile time.

@tcoratger tcoratger requested a review from b-wagn April 4, 2026 09:47
Copy link
Copy Markdown
Contributor

@b-wagn b-wagn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. Looks good, just minor comments. Maybe the one thing that is important is the comment about eprint vs CiC.

@tcoratger tcoratger merged commit 840d319 into leanEthereum:main Apr 8, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants